Object - oriented and Structural - dynamic Modeling and Simulation II
نویسندگان
چکیده
The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages, and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems, using components from multiple application domains, have in recent years witnessed a significant growth of interest. In the last decade, novel equation-based object-oriented (EOO) modelling languages, (e.g. Modelica, gPROMS, and VHDL-AMS) based on acausal modelling using equations have appeared. These languages allow modelling of complex systems covering multiple application domains at a high level of abstraction with reusable model components. This need and interest in EOO languages additionally raised the question for modelling approaches and language concepts for structural dynamic systems. Appropriate control structures like state charts in EOO languages also allow composition of model components 'in serial' – an interesting new strategy for modelling structural-dynamic systems. There exist several different communities dealing with both subjects, growing out of different application areas. Efforts for bringing together these disparate communities resulted in a new workshop series, EOOLT workshop series, and established special sessions on structural-dynamic modelling and simulation (SDMS) within simulation conferences. SNE 17/2, the SNE special issue on Object-oriented and Structural dynamic Modelling and Simulation – I presented selected contributions from EOOLT 2007 and from EUROSIM 2007 – SDSM. This SNE special issue Object-oriented and Structural-dynamic Modelling and Simulation – II-SNE 18/2-continues with overview, state-of-the-art, and development of object-oriented and structural-dynamic modelling and simulation with further four contributions from EUROSIM 2007 – SDSM and with three contributions from EOOLT 2008. The first two contributions investigate and describe structural-dynamic changes by means of hybrid automata and UML state charts, resp., trying to combine continuous and discrete world views ('Discrete Hybrid Automata Approach to Structural and The editors would like to thank all authors for their cooperation and for their efforts, e.g. for sending revised versions of their contributions for SNE, and hope, that the selected papers present a good overview and state-of-the-art in object-oriented and structural dynamic modelling and simulation. 4 Dear Readers, Due to the big interest in object-oriented and structural-dynamic modelling we decided to continue in 2008 with this subject, publishing this year a further SNE Special Issue 'Object-oriented and Structural-dynamic Modelling and Simulation II' – SNE 18/2. SNE 17/2, 'Object-oriented and Structural-dynamic Modelling and Simulation I', contained revised and/or extended versions from contributions to EOOLT 2007 workshop …
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملObject - oriented and Structural - dynamic Modeling and Simulation I
The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize on recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems , using components from multiple application domains, have in recent yea...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل